circle - equal tangents from an external point theorem 10 2